append_rel(T;L1;L2;L) == (L1 @ L2) = L 

latex

---

clarification:

append_rel(T;L1;L2;L) == (L1 @ L2) = L  T List 

latex

Definitions	as @ bs
FDL editor aliases	append_rel